Spintronics-compatible Approach to Solving Maximum-Satisfiability Problems with Probabilistic Computing, Invertible Logic, and Parallel Tempering
نویسندگان
چکیده
The search of hardware-compatible strategies for solving NP-hard combinatorial optimization problems (COPs) is an important challenge today s computing research because their wide range applications in real world problems. Here, we introduce unconventional scalable approach to face maximum satisfiability (Max-SAT) which combines probabilistic with p-bits, parallel tempering, and the concept invertible logic gates. We theoretically show spintronic implementation this based on a coupled set Landau-Lifshitz-Gilbert equations, showing potential path energy efficient very fast (p-bits exhibiting ns time scale switching) architecture solution COPs. algorithm benchmarked hard Max-SAT instances from 2016 competition (e.g., HG-4SAT-V150-C1350-1.cnf can be described 2851 p-bits), including weighted Max-Cut
منابع مشابه
Solving satisfiability problems using reconfigurable computing
This paper reports on an innovative approach for solving satisfiability problems for propositional formulas in conjunctive normal form (SAT) by creating a logic circuit that is specialized to solve each problem instance on field programmable gate arrays (FPGAs). This approach has become feasible due to recent advances in reconfigurable computing and has opened up an exciting new research field ...
متن کاملSolving disjunctive temporal problems with preferences using maximum satisfiability
The Disjunctive Temporal Problem (DTP) involves conjunction of DTP constraints, each DTP constraint being a disjunction of difference constraints of the form x − y ≤ c, where x and y range over a domain of interpretation, and c is a numeric constant. The DTP is recognized to be an expressive framework for constraints modeling and processing. The addition of preferences, in the form of weights a...
متن کاملSolving Satisfiability Problems Using Logic Synthesis and Reconfigurable Hardware
This paper presents new results on an approach for solving satisfiability problems (SAT), i.e. creating a logic circuit that is specialized to solve each problem instance on Field Programmable Gate Arrays (FPGAs). This approach becomes feasible due to the recent advances in FPGAs and high-level logic synthesis. In this approach, each SAT problem is automatically analyzed and implemented on FPGA...
متن کاملA new Approach for Solving Satisfiability Problems with Qualitative Preferences
The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previous papers, it has been shown that qualitative preferences on literals allow for capturing qualitative/quantitative preferences on literals/formulas; and that an optimal model for a satisfiability problems with qualita...
متن کاملTrap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems
In this paper, we present efficient trap-escaping strategies in a search based on discrete Lagrange multipliers to solve difficult SAT problems. Although a basic discrete Lagrangian method (DLM) can solve most the satisfiable DIMACS SAT benchmarks efficiently, a few of the large benchmarks have eluded solutions by any local-search methods today. These difficult benchmarks generally have many tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical review applied
سال: 2022
ISSN: ['2331-7043', '2331-7019']
DOI: https://doi.org/10.1103/physrevapplied.17.024052